// The warning below is for those editing the generated .css files
/*  Warning: These .css files are automatically generated and will be overwritten */
/*  when they are next generated. Please edit the source located at */
/* <sagenb-spkg-root>/src. Kindly refer to the readme for editing */
/* instructions at <sagenb-spkg-root> */
@import "compass/utilities/general";
@import "compass/typography/lists";
@import "partials/base";
@import "partials/mixins";
@import "typography/base";

body {
  background-color: white; }

.hidden {
  display: none; }

div {
  &.fivepix {
    height: 5px; } }

@import "topbar";

/******* Top Control Bar (Worksheets)  ********** */

#worksheet-bar {
  overflow: hidden;
  clear: both;
  a.worksheet_title {
    text-decoration: none;
    font-size: 20px;
    font-weight: bold;
    color: black;
    &:hover {
      background-color: #ffffcc;
      cursor: pointer; } }
  div.worksheet_title {
    float: left;
    clear: left;
    padding-left: 1em;
    background-color: white;
    color: black;
    margin-bottom: 0.5em; }
  #save-discard-buttons {
    float: right;
    clear: right; }
  #worksheet-menu {
    float: left;
    clear: left;
    margin-bottom: 0.25em; }
  #share-publish-buttons {
    float: right;
    clear: right;
    a.print-link {
      color: #112abb;
      text-decoration: underline;
      margin-right: 0.5em;
      img {
        margin-right: 0.3em; } } } }

span {
  &.control_commands {
    position: fixed;
    top: 1ex;
    right: 1ex;
    text-align: right;
    color: blue;
    font-weight: normal;
    font-size: 12px; }
  &.worksheet_control_commands {
    position: relative;
    top: 0px;
    right: 0px;
    text-align: right;
    color: blue;
    font-weight: normal;
    font-size: 12px;
    padding: 5px; } }

div.slide_control_commands {
  float: right;
  position: fixed;
  width: 500px;
  top: 1ex;
  right: 45%;
  text-align: right;
  color: blue;
  font-weight: normal;
  font-size: 12px; }

span.vbar {
  height: 1.5ex;
  border-left: 1px solid black;
  width: 1px; }

a {
  &.slide_mode:hover, &.cell_mode:hover, &.slide_arrow:hover {
    cursor: pointer; } }

span.worksheet_control_commands a {
  color: #0000bb;
  text-decoration: none;
  padding: 5px;
  &:hover {
    cursor: pointer; } }

div {
  &.slideshow_control {
    float: right;
    &:hover {
      cursor: pointer; } }
  &.slideshow_progress {
    float: right;
    background-color: white;
    padding: 1px;
    border: 1px solid #cccccc;
    width: 20%; }
  &.slideshow_progress_bar {
    z-index: 1;
    position: relative;
    background-color: #dcdcdc;
    &:hover {
      cursor: pointer; } }
  &.slideshow_progress_text {
    position: absolute;
    z-index: 2;
    top: 2px;
    text-align: center;
    color: black;
    width: 20%; } }

.completion_menu_selected {
  background-color: #8888ff; }

div.docstring {
  background-color: #fafafa;
  color: black;
  border: solid 1px black;
  padding: 8px;
  margin: 8px; }

pre {
  &.literal-block {
    background-color: white;
    color: black;
    padding: 0 0 0 5px;
    border-left: 2px solid silver; }
  &.introspection {
    @include monospace-stack;
    font-size: 15px;
    background-color: #f1f1f1;
    color: blue;
    border: solid 1px black;
    padding: 8px;
    margin: 8px; } }

ul.completion_menu_one {
  list-style: none;
  position: absolute;
  z-index: 2;
  background-color: #efefef;
  border: solid 1px black;
  display: inline;
  margin: 5px;
  @include monospace-stack;
  font-size: 15px;
  padding: 5px; }

li.completion_menu_one {
  display: inline;
  position: relative;
  float: left;
  margin: 0px; }

ul.completion_menu_two {
  display: inline;
  position: relative;
  list-style: none;
  margin: 0px; }

li.completion_menu_two {
  display: block;
  position: relative;
  margin: 3px;
  padding-left: 3px;
  padding-right: 3px;
  &:hover {
    background-color: #8888bb;
    cursor: pointer; } }

/**** SEARCH / HELP AREA ******************************** */

span.search_doc_topbar {
  z-index: 12;
  height: 24px;
  @include monospace-stack;
  font-size: 12px;
  width: 158px;
  top: 40px;
  left: 5px;
  position: fixed;
  border: 1px solid #387caf;
  background-color: #73a6ff; }

td.menubar {
  text-decoration: none;
  font-size: 15px;
  font-weight: bold;
  color: white; }

a.menubar {
  text-decoration: none;
  font-size: 15px;
  font-weight: bold;
  color: white;
  background-color: #73a6ff; }

input.search_input {
  position: fixed;
  left: 5px;
  top: 65px;
  height: 32px;
  width: 160px;
  padding: 4px;
  z-index: 12;
  @include monospace-stack;
  font-size: 14px;
  color: #222222;
  color: gray;
  border: 3px solid #387caf;
  background: white; }

span {
  &.search_doc {
    z-index: 12;
    font-size: 12px;
    overflow: auto;
    position: fixed;
    top: 96px;
    left: 5px;
    width: 154px;
    height: 150px;
    margin: 0px;
    border: 1px solid #387caf;
    background-color: white;
    padding: 2px; } }

#docs-main-page {
  div.control-bar {
    margin: 0 auto 1em;
    padding: 1em 0.5em;
    border-bottom: 1px solid #c9d7f1;
    text-align: center; }
  ul.controls {
    margin: 1em auto;
    list-style-type: none;
    text-align: center;
    li {
      display: inline;
      a {
        background-color: #7799bb;
        color: white;
        padding: 0.25em 0.5em;
        font-size: 15px;
        font-weight: bold;
        text-decoration: none;
        &:hover {
          cursor: pointer; } } } }
  div.help_window {
    background-color: white;
    border: 3px solid #3d86d0;
    padding: 2em;
    width: 90%;
    margin: 0 auto; }
  table.help_window {
    background-color: white;
    width: 95%; }
  td {
    &.help_window_sub {
      background-color: #f5e0aa;
      width: 100%;
      padding: 0.5ex;
      font-weight: bold; }
    &.help_window_cmd {
      background-color: #f5e0aa;
      width: 30%;
      padding: 0.5ex; }
    &.help_window_how {
      padding: 0.5ex;
      width: 70%; } }
  .acknowledgments {
    font-size: small;
    text-align: center; } }

/*********** INFO PANES ************************* */

span {
  &.pane {
    z-index: 30;
    @include monospace-stack;
    font-size: 12px;
    position: fixed;
    left: 5px;
    top: 33px;
    width: 180px;
    height: 100%;
    margin: 0px;
    padding-right: 2px;
    padding-left: 0px;
    padding-top: 0px;
    bottom: 0ex; }
  &.plusminus {
    color: black;
    font-size: 8pt;
    @include monospace-stack;
    &:hover {
      cursor: pointer; } }
  &.controltoggle {
    color: blue;
    font-size: 10pt;
    text-decoration: underline;
    &:hover {
      cursor: pointer; } } }

div.left_pane_bar {
  position: fixed;
  left: 0px;
  top: 36px;
  background-color: white;
  width: 8px;
  height: 100%;
  z-index: 100;
  &:hover {
    background-color: #8888fe; } }

/*********** VARIABLES ************************* */

span.pane div {
  &.variables_topbar {
    color: black;
    background: url("corner.png") no-repeat top left;
    background-color: #dcdcdc;
    text-decoration: none;
    font-size: 13px;
    height: 2ex;
    padding-left: 10px;
    padding-bottom: 1px;
    width: 174px; }
  &.variable_list {
    font-size: 11px;
    top: 0ex;
    height: 20ex;
    border: 2px solid #dcdcdc;
    width: 180px;
    overflow: auto; } }

div.variable_name {
  padding-left: 1ex;
  border-top: 1px solid #d3e9ff; }

span {
  //&.varname
  &.vartype {
    color: #657d6c; } }

/*********** ATTACHED ************************* */

span {
  &.pane div {
    &.attached_topbar {
      color: black;
      height: 2ex;
      top: 0ex;
      background: url("corner.png") no-repeat top left;
      background-color: #dcdcdc;
      text-decoration: none;
      font-size: 13px;
      padding-left: 10px;
      padding-bottom: 1px;
      width: 174px; }
    &.attached_list {
      font-size: 11px;
      top: 0ex;
      height: 20ex;
      border: 2px solid #dcdcdc;
      width: 180px;
      overflow: auto; } } }

div.attached_filename {
  padding-left: 1ex;
  border-top: 1px solid #d3e9ff; }

/*********** WORKSHEETS ************************* */

div.docstring-introspection-dialog {
  font-size: inherit;
  @include sans-serif-stack; }

.docstring {
  @include sans-serif-stack;
  .click-message {
    font-size: 0.75em;
    float: right;
    clear: both; }
  .unprinted-note {
    float: right;
    clear: both;
    font-size: 0.6em; } }

.active-worksheet .interrupt-fail-notification {
  background-color: #b22222; }

span.pane div.worksheets_topbar {
  color: black;
  height: 3ex;
  top: 0ex;
  background: url("/images/corner.png") no-repeat top left;
  background-color: #cccccc;
  text-decoration: none;
  font-size: 15px;
  padding-left: 10px;
  padding-top: 10px;
  width: 174px; }

a.left_panel_hide {
  position: relative;
  top: 0px;
  right: -1px;
  text-align: right;
  color: blue;
  font-weight: normal;
  font-size: 12px;
  &:hover {
    cursor: pointer; } }

span.X {
  color: white;
  @include sans-serif-stack;
  font-weight: bold;
  cursor: pointer; }

.modal-prompt {
  form {
    font-size: 0.9em; }
  div {
    &.message, &.field {
      margin-bottom: 0.25em; }
    &.button-div {
      text-align: center; } } }

span.pane div.add_new_worksheet_menu {
  position: relative;
  color: black;
  padding-top: 0.5ex;
  padding-bottom: 0.5ex;
  left: 0ex;
  background-color: white;
  text-decoration: none;
  font-size: 11px;
  padding-left: 0px;
  width: 174px; }

input.add_new_worksheet_menu {
  width: 100%; }

button.add_new_worksheet_menu {
  font-size: 14px; }

#upload-worksheet-page, #upload-data-page {
  h2 {
    padding-bottom: 0.5em;
    border-bottom: 1px solid #cccccc; }
  label {
    display: block; }
  div {
    margin-bottom: 1em; } }

#specific-revision-page {
  #revision-data {
    padding: 1em 0.5em;
    border-top: 1px solid #c9d7f1;
    border-bottom: 1px solid #c9d7f1; } }

#revision-list-page {
  #revision-list {
    width: 100%; }
  .revision-title {
    width: 30%; }
  .edit-time {
    width: 70%; } }

#history-page {
  pre {
    border-bottom: 1px solid #c9d7f1;
    padding: 1em 0.5em; } }

span.pane div.delete_worksheet_menu {
  color: black;
  top: 0ex;
  background-color: #cccccc;
  text-decoration: none;
  font-size: 11px;
  padding-left: 10px;
  width: 174px;
  display: none; }

input.delete_worksheet_menu {
  width: 50%; }

button.delete_worksheet_menu {
  font-size: 11px;
  background-color: #ffcccc; }

span.pane div.worksheet_list {
  position: fixed;
  overflow: scroll;
  font-size: 12px;
  top: 25ex;
  bottom: 2ex;
  left: 1ex;
  border: 2px solid #cccccc;
  width: 180px; }

a.new_worksheet {
  @include sans-serif-stack;
  font-size: 12pt;
  text-align: right;
  color: #0000aa;
  &:hover {
    cursor: pointer; } }

div {
  &.worksheet_menu {
    top: 50px; } }

a.worksheet_title {
  text-decoration: none;
  font-size: 20px;
  font-weight: bold;
  color: black;
  &:hover {
    background-color: #ffffcc;
    cursor: pointer; } }

div {
  &.worksheet_title {
    padding-left: 1em;
    background-color: white;
    color: black; }
  &.worksheet_print_title {
    text-decoration: none;
    font-size: 24px;
    font-weight: bold;
    color: black;
    text-align: center; }
  &.worksheet_title_under {
    z-index: 0;
    padding-top: 3px;
    padding-left: 1em;
    background-color: #dcdcdc;
    font-size: 22px;
    font-weight: bold;
    color: black; }
  &.worksheet_cell_list {
    padding-left: 0.5ex; } }

a {
  &.delete_worksheet {
    @include sans-serif-stack;
    font-size: 8pt;
    text-decoration: underline;
    text-align: right;
    color: #0000aa;
    &:hover {
      cursor: pointer; } }
  &.upload_worksheet:hover {
    cursor: pointer; } }

span.pane a {
  &.worksheet_current {
    font-size: 14px;
    padding-left: 1ex;
    background-color: #cccccc;
    text-decoration: none;
    color: black; }
  &.worksheet_current_computing {
    font-size: 14px;
    padding-left: 1ex;
    background-color: #ffd1d1;
    text-decoration: none;
    color: black; }
  &.worksheet_other {
    font-size: 14px;
    padding-left: 1ex;
    background-color: white;
    text-decoration: none;
    color: black;
    &:hover {
      background-color: #cccccc;
      text-decoration: none;
      cursor: pointer; } }
  &.worksheet_other_computing {
    font-size: 14px;
    padding-left: 1ex;
    background-color: #ffd1d1;
    text-decoration: none;
    color: black; } }

/********** DOC-BROWSER*********************** */

.verbatim {
  background-color: #fafad2;
  border-style: solid;
  border-width: 1px 1px;
  border-color: black; }

/*********** OBJECTS ************************* */

span.pane div {
  &.objects_topbar {
    color: black;
    height: 2ex;
    top: 0ex;
    background: url("corner.png") no-repeat top left;
    background-color: #cccccc;
    text-decoration: none;
    font-size: 13px;
    padding-left: 10px;
    padding-bottom: 1px;
    width: 174px; }
  &.object_list {
    font-size: 11px;
    height: 20ex;
    border: 2px solid #cccccc;
    width: 180px;
    overflow: auto; } }

a.object_name {
  padding-left: 1ex;
  border-top: 1px solid #cccccc;
  background-color: white;
  text-decoration: none;
  color: black;
  &:hover {
    background-color: #cccccc;
    text-decoration: none;
    color: black;
    cursor: pointer; } }

/*********** CONTROLS ************************* */

div.control_area {
  vertical-align: top; }

span.control {
  border: 1px solid white;
  @include monospace-stack;
  font-size: 14pt;
  font-weight: bold;
  a.cs {
    color: #777777;
    text-decoration: none;
    border: 0px solid white; }
  &:hover a.cs, a:hover.cs {
    color: black;
    border: 1px solid #333333; } }

/*********** WORKSHEET ************************* */

div {
  &.worksheet {
    background-color: white;
    border: 1px solid #aaaaaa;
    padding: 0.75em 0.2em; }
  &.banner {
    background-color: white;
    font-size: 18px;
    text-decoration: none;
    color: #1950c8;
    a.banner {
      text-decoration: none;
      border: none;
      margin-top: 2px; } } }

a.banner:visited {
  color: #1950c8; }

div.banner a.banner {
  img {
    text-decoration: none;
    border: none;
    margin-top: 2px; }
  //&:hover
}

input.btn {
  @include monospace-stack;
  font-size: 13pt;
  font-weight: bold;
  color: gray;
  text-decoration: none;
  background: white;
  padding: 0px;
  margin: 0px;
  border: 1px solid white;
  &:hover {
    color: black;
    text-decoration: none;
    background: white;
    padding: 0px;
    margin: 0px;
    border: 1px solid #333333; } }

/*********** CELL INPUT ************************* */

div {
  &.cell_visible {
    display: block; }
  &.cell_evaluated {
    border-left: 1px solid white;
    padding-left: 3px; }
  &.cell_not_evaluated {
    border-left: 1px solid #ff8888;
    padding-left: 3px; } }

td {
  &.cell_number {
    font-size: 12pt;
    @include sans-serif-stack;
    color: #bbbbbb;
    text-align: left;
    border-left: 4px solid white;
    &:hover {
      color: #555555;
      cursor: pointer; } }
  &.cell_number_running {
    font-size: 12pt;
    @include sans-serif-stack;
    color: #bbbbbb;
    border-left: 4px solid #aaffaa;
    text-align: left;
    &:hover {
      cursor: wait; } }
  //&.output_cell
}

div.cellbox {
  z-index: 2;
  background-color: white;
  padding-left: 0.5em;
  padding-top: 4em; }

textarea.cell_input {
  color: black;
  background-color: white;
  border: 1px solid #a8a8a8;
  @include monospace-stack;
  font-size: 12pt;
  overflow: hidden;
  padding-bottom: 1px;
  padding-left: 6px;
  padding-right: 1px;
  padding-top: 4px;
  width: 97%;
  margin-bottom: 0px;
  margin-top: 0px;
  line-height: 1.2em; }

pre.cell_input {
  color: black;
  background-color: white;
  border: 1px solid #a8a8a8;
  @include monospace-stack;
  font-size: 12pt;
  padding-bottom: 1px;
  padding-left: 6px;
  padding-right: 1px;
  padding-top: 4px;
  width: 100%;
  margin-bottom: 0px;
  margin-top: 0px;
  &:hover {
    cursor: text; } }

textarea.cell_input_hide {
  background-color: white;
  border: 0px solid white;
  @include monospace-stack;
  font-size: 12pt;
  color: #888888;
  overflow: hidden;
  padding-bottom: 2px;
  padding-left: 7px;
  padding-right: 2px;
  padding-top: 5px;
  height: 1em;
  margin: 0px; }

pre.cell_input_hide {
  background-color: white;
  border: 2px solid #e8e8e8;
  @include monospace-stack;
  font-size: 12pt;
  overflow: hidden;
  padding-bottom: 0px;
  padding-left: 5px;
  padding-right: 0px;
  padding-top: 3px;
  height: 1em;
  margin: 0px;
  &:hover {
    cursor: text; } }

textarea.cell_input_active {
  background-color: white;
  border: 2px solid #8888fe;
  color: black;
  @include monospace-stack;
  font-size: 12pt;
  overflow: hidden;
  padding-bottom: 0px;
  padding-left: 5px;
  padding-right: 0px;
  padding-top: 3px;
  margin-top: 0px;
  margin-bottom: 0px;
  line-height: 1.2em;
  width: 97%; }

div {
  &.cell_input_active {
    background-color: white;
    border: 2px solid #8888fe;
    @include monospace-stack;
    font-size: 12pt;
    padding-bottom: 0px;
    padding-left: 5px;
    padding-right: 0px;
    padding-top: 3px;
    margin-top: 0px;
    margin-bottom: 0px;
    line-height: 1.2em;
    width: 97%;
    z-index: -100;
    visibility: hidden;
    position: absolute; }
  &.cell_input_print {
    background-color: white;
    border: 1px solid #a8a8a8;
    @include monospace-stack;
    font-size: 12pt;
    padding-bottom: 1px;
    padding-left: 6px;
    padding-right: 1px;
    padding-top: 4px;
    margin-top: 0px;
    margin-bottom: 0px;
    line-height: 1.2em;
    width: 97%;
    white-space: pre-wrap; } }

textarea.cell_input:hover {
  cursor: text; }

a {
  &.eval_button {
    display: none; }
  &.eval_button_active {
    display: block;
    position: relative;
    top: 2px;
    margin: 0px;
    padding: 0px;
    font-size: 10pt; } }

/*********** CELL OUTPUT ************************* */

div {
  &.cell_div_output {
    @include monospace-stack;
    font-size: 12pt;
    margin-top: -5px;
    margin-bottom: 5px;
    padding-bottom: 5px; }
  &.cell_output_div {
    overflow-x: auto;
    overflow-y: hidden; } }

table {
  &.cell_output_box {
    margin: 0px;
    padding: 0px; }
  &.table_form * {
    td {
      padding-top: 5px;
      padding-bottom: 5px;
      padding-left: 15px;
      padding-right: 15px; }
    th {
      background: #a6ba4e;
      height: 29px;
      padding-left: 15px;
      padding-right: 15px;
      padding-top: 5px;
      padding-bottom: 5px;
      color: white;
      text-align: left; }
    tr {
      &.row-a {
        background: #f8f8f8;
        text-align: left; }
      &.row-b {
        background: #efefef;
        text-align: left; } } } }

div {
  &.cell_div_output_wrap {
    font-size: 12pt;
    margin: 0px;
    padding-left: 0px;
    color: #0000aa; }
  &.cell_output_wrap pre.cell_output_print_wrap {
    font-size: 12pt;
    margin: 0px;
    padding: 0px;
    color: #0000aa; }
  &.cell_output_print_wrap {
    font-size: 10pt; }
  &.cell_output_nowrap, &.cell_output_print_nowrap, &.cell_output_hidden, &.cell_output_nowrap_wrap, &.cell_output_print_nowrap_wrap {
    display: none; }
  &.cell_output_nowrap_nowrap {
    font-size: 12pt;
    margin: 0px;
    padding: 0px;
    color: #0000aa; }
  &.cell_output_nowrap_hidden {
    display: none; }
  &.cell_output_html_wrap, &.cell_output_html_nowrap {
    @include monospace-stack;
    font-size: 12pt; }
  &.cell_output_html_hidden {
    display: none; }
  &.cell_div_output_running {
    @include monospace-stack;
    font-size: 12pt;
    margin: 0px;
    background-color: white;
    padding: 0px;
    &:hover {
      cursor: wait; } }
  &.cell_div_output_hidden {
    width: 100%;
    height: 3px;
    margin: 0px;
    border-left: 4em solid #aaaaaa; } }

pre {
  &.shrunk {
    font-size: 12pt;
    margin: 0px; }
  &.cell_output_hidden, &.cell_output_hide {
    display: none; } }

a.file_link {
  text-decoration: underline; }

div {
  &.insert_new_cell {
    height: 6px;
    display: block;
    margin: 3px;
    &:hover {
      background-color: #8888fe;
      margin: 3px; } } }

a {
  &.worksheetname {
    text-decoration: none;
    font-weight: bold;
    font-size: 14px;
    color: #222222;
    &:visited {
      color: #222222; } }
  &.worksheetname_moved {
    color: #888888;
    text-decoration: none;
    font-weight: normal; } }

span.worksheet_buttons {
  position: relative;
  top: -20ex;
  right: 0ex; }

.thin-right {
  position: absolute;
  top: auto;
  right: 0;
  width: 70%; }

@import "worksheet_listing";
@import "prettify";
@import "source";
@import "print_worksheet";
@import "guest_worksheet";
@import "worksheet_aux";
@import "settings";
@import "accounts";
@import "login";
@import "pygment";
@import "jquery-plugins/ui.achtung";
